Books by author Helmut Schwichtenberg

Showing 1 – 12 out of 12 results

1. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Bauer, Helmut Schwichtenberg | Springer, Berlin, 1993

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   153.91 €

   Sale 7 %

   You save 12.83 €

   Buy
2. 

   Computational Logic

   Ulrich Berger, Helmut Schwichtenberg | Springer, Berlin, 1999

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   153.91 €

   Sale 7 %

   You save 12.83 €

   Buy
3. 

   Proof and System-Reliability

   Helmut Schwichtenberg, Ralf Steinbrüggen | Springer Netherlands, 2002

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Hardback

   110.24 €

   Buy
4. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, 1997

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Hardback

   97.83 €

   Sale 0 %

   You save 0.01 €

   Buy
5. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   153.91 €

   Sale 7 %

   You save 12.83 €

   Buy
6. 

   Computational Logic

   Ulrich Berger, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   153.91 €

   Sale 7 %

   You save 12.83 €

   Buy
7. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, Berlin, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
8. 

   Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

   Helmut Schwichtenberg, Peter Michael Schuster | World Scientific Publishing Co Pte Ltd, 2021

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Hardback

   147.86 €

   Buy
9. 

   Handbook of Constructive Mathematics

   Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg | Cambridge University Press, 2023

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Hardback

   194.76 €

   Buy
10. 

    Computer Science Logic

    Peter G. Clote, Helmut Schwichtenberg | Springer, Berlin, 2000

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.67 €

    Sale 7 %

    You save 8.60 €

    Buy
11. 

    Proof and System-Reliability

    Helmut Schwichtenberg, Ralf Steinbrüggen | Springer-Verlag New York Inc., 2002

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.53 €

    Sale 7 %

    You save 4.27 €

    Buy
12. 

    Proof and Computation

    Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.67 €

    Sale 7 %

    You save 8.60 €

    Buy

Nobody else offers you access to a wider selection. Find out more